
#include "ParaCondition.h"

ParaCondition::ParaCondition(int paraIndex) 
{
	index = paraIndex;
}

bool ParaCondition::judge(const vector<string>& paras, const vector<Variable>& variables) 
{
	for (list<Predicate*>::iterator it = predicates.begin(); it != predicates.end(); ++it)
		if (!(*it)->judge(paras[index])) return false;
	return true;
}